You have chosen Speussipus, Arend Heyting and Arend Heyting.
All three must be different; choose another philosopher.